There May Be No Hausdorff Ultrafilters
نویسنده
چکیده
An ultrafilter U is Hausdorff if for any two functions f, g ∈ ω ω , f (U) = g(U) iff f ↾X = g↾X for some X ∈ U. We will show that it is consistent that there are no Hausdorff ultrafilters.
منابع مشابه
Lecture Notes Compactness and Completeness of Propositional Logic and First-Order Logic
Another reason, no less compelling, for starting with Compactness is didactic: It makes it easier to grasp topological aspects of the notion (and the origin of its name). We can go deep in a topological direction, by explaining Compactness purely in terms of notions such as ultrafilters, ultraproducts, Hausdorff spaces, the finite-intersection property, and others, but that would take us furthe...
متن کاملThe Combinatorics of Reasonable Ultrafilters
We are interested in generalizing part of the theory of ultrafilters on ω to larger cardinals. Here we set the scene for further investigations introducing properties of ultrafilters in strong sense dual to being normal. 0. Introduction A lot of knowledge has been accumulated on ultrafilters on ω. In the present paper we are interested in carrying out some of those arguments for ultrafilters on...
متن کاملThe Topology of Ultrafilters as Subspaces of the Cantor Set and Other Topics
In the first part of this thesis (Chapter 1), we will identify ultrafilters on ω with subspaces of 2 through characteristic functions, and study their topological properties. More precisely, let P be one of the following topological properties. • P = being completely Baire. • P = countable dense homogeneity. • P = every closed subset has the perfect set property. We will show that, under Martin...
متن کاملReasonable Ultrafilters, Again
We continue investigations of reasonable ultrafilters on uncount-able cardinals defined in Shelah [8]. We introduce stronger properties of ul-trafilters and we show that those properties may be handled in λ–support iterations of reasonably bounding forcing notions. We use this to show that consistently there are reasonable ultrafilters on an inaccessible cardinal λ with generating system of siz...
متن کاملOn Milliken-Taylor Ultrafilters
We show that there may be a Milliken-Taylor ultrafilter with infinitely many near coherence classes of ultrafilters in its projection to ω, answering a question by López-Abad. We show that k-coloured Milliken-Taylor ultrafilters have at least k + 1 near coherence classes of ultrafilters in its projection to ω. We show that the Mathias forcing with a Milliken-Taylor ultrafilter destroys all Mill...
متن کامل